x86: tolerate running on EFI runtime services page tables in map_domain_page()
authorJan Beulich <jbeulich@suse.com>
Mon, 27 Oct 2014 15:43:12 +0000 (16:43 +0100)
committerJan Beulich <jbeulich@suse.com>
Mon, 27 Oct 2014 15:43:12 +0000 (16:43 +0100)
commite65436ba36be8f1b735573d8fc9af7d8a053ba5f
tree1ebffba150941dbaaacff97abb626eaddb50c2ff
parent66d0c0aa1f3e57e873fd64d1d370e11758d25442
x86: tolerate running on EFI runtime services page tables in map_domain_page()

In the event of a #PF while in an EFI runtime service function we
otherwise can't dump the page tables, making the analysis of the
problem more cumbersome.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain_page.c
xen/arch/x86/efi/stub.c
xen/common/efi/runtime.c
xen/include/xen/efi.h